
\chapter{Заключение}

\ifpdf

    \graphicspath{{Chapter3/Chapter3Figs/PNG/}{Chapter3/Chapter3Figs/PDF/}{Chapter3/Chapter3Figs/}}

\else

    \graphicspath{{Chapter3/Chapter3Figs/EPS/}{Chapter3/Chapter3Figs/}}

\fi

\section{Дальнейшие исследования}

Небольшое напоминание: В разделе 1.4.1 было введено понятие $\lambda$-куба. \\

Лямбда-куб ($\lambda$-куб) задает единообразное описание восьми различных систем типизированного лямбда-исчисления с явным приписыванием типов (систем, типизированных по Чёрчу).\\
Идея: продолжить исследование для других систем $\lambda$-куб, к примеру для системы $\lambda$$\underline{w}$(типы, зависимые от типов) и система $\lambda$P(типы, зависимые от термов). Но существует ряд проблем, появляющихся при исследовании $\lambda$$\underline{w}$ и $\lambda$P, таких как, сложность данных систем. 

\section{Заключение}

Итак, при выполнении данной работы был создан инструмент, способный анализировать изменения наиболее общего типа при экспансии. Помимо этого, в данной работе приведено краткое и не претендующее на полноту описание нескольких важнейших механизмов, используемых в функциональной парадигме программирования — системы типизации Хиндли — Милнера, системы редукции. \\
\hspace*{\fill} \\
Все рассмотренные в работы исходные коды можно загрузить из проекта \\
http://code.google.com/p/mostcommontype/. \\
\hspace*{\fill} \\
Вообще, для углублённого изучения механизмов автоматического вывода типов можно порекомендовать уже упоминавшиеся работы [1] и [4], а также статью [2]. 




